Hardware verification languages - PDFSEARCH.IO - Document Search Engine

Hardware verification languages
Results: 197

#	Item
121	ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:05 Electronic design automation Logic design Model checking Temporal logic VHDL Logic simulation Hardware verification languages Formal methods Property Specification Language Electronic engineering Digital electronics Hardware description languages
122	Success Story Synopsys and Ricoh Ricoh Optimizes New Multi-Function Printer SoC Architecture with Synopsys Platform Architect MCO Add to Reading List Source URL: www.synopsys.com Language: English Hardware verification languages Hillsboro Oregon Synopsys High-level synthesis SystemC System on a chip Logic synthesis Ricoh Electronic engineering Electronic design automation Electronic design
123	Saber Aerospace Overview Proven Robust Design Solution for Aerospace Mechatronic Systems Saber ® is the proven standard for mechatronic system design and verification. Aerospace design teams worldwide use Saber to devel Add to Reading List Source URL: www.synopsys.com Language: English VHDL-AMS Synopsys Reliability engineering VHDL SystemC SPICE Verilog Aerospace engineering Modeling language Electronic engineering Hardware description languages Electronic design automation
124	Microsoft Word - outcomes-report-ie[removed]final Add to Reading List Source URL: www.epeat.net Language: English - Date: 2014-04-18 14:55:59 Environmental design Electronic Product Environmental Assessment Tool Hardware verification languages Restriction of Hazardous Substances Directive Verification E Environment Systems engineering Earth
125	Notification for Teachers on Opening of Second-Semester and Year-long Roster Verification Window Subject: EVAAS Roster Verification (ACTION REQUIRED) Attachment: Quick-start guide Add to Reading List Source URL: dpi.state.nc.us Language: English - Date: 2014-04-16 17:00:07 Hardware verification languages E Web conferencing
126	Reminder for Teachers on Closing of Second-Semester and Year-long Roster Verification Window Subject: REMINDER: EVAAS Roster Verification (ACTION REQUIRED) Message: Add to Reading List Source URL: dpi.state.nc.us Language: English - Date: 2014-04-16 17:00:07 Verification Academic term PowerSchool Education Hardware verification languages E Course
127	EPEAT, Inc. 227 SW Pine Street, Suite 220 • Portland, OR 97204 • V: ([removed] • F: ([removed] • www.epeat.net VERIFICATION PLAN: TELEVISIONS – ROUND TV[removed]JUNE 2013 Add to Reading List Source URL: www.epeat.net Language: English - Date: 2014-07-24 12:05:17 Environmental design Pharmaceutical industry Validity Hardware verification languages Electronic Product Environmental Assessment Tool Restriction of Hazardous Substances Directive Verification ISO 10303 E Environment Systems engineering Earth
128	Emulex Enhances Design Productivity With Synopsys’ Advanced Verification Solutions “Emulex has built a strong working relationship with Synopsys over the past several years. Because of the confidence we’ve gained i Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:37:40 Hardware verification languages Electronic design automation SystemVerilog Emulex Electronic engineering Hillsboro Oregon Synopsys
129	White Paper Rethinking SoC Verification Enabling Next-Generation Productivity & Performance March 2014 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-03-06 15:16:05 Logic design Formal methods Logic in computer science Hardware description languages Functional verification Logic simulation Formal verification Debugger Compiler Electronic engineering Electronic design automation Digital electronics
130	DeMicheli Spring[removed]EE271 Verilog According to Tom Add to Reading List Source URL: frank.harvard.edu Language: English - Date: 2004-03-30 19:59:35 Hardware verification languages Verilog Logic design SystemC E SystemVerilog Verilog-AMS Electronic engineering Hardware description languages Electronic design automation

UPDATE